[next] [prev] [prev-tail] [tail] [up]

Integrals 901 to 1000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.467 17.762 5.589 0.000 0.000 177.145 227.335 0.343

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 51 0 3 24

N.S.

1 1.00 1.08 0.85 0.00 1.96 0.00 0.12 0.92

time (sec)

N/A 0.070 1.673 6.594 0.000 0.255 0.000 52.532 0.367

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 0 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 0.00 0.12 0.92

time (sec)

N/A 0.073 4.634 5.112 0.000 0.000 0.000 122.195 0.370

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

161 161 139 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.150 0.177 0.000 0.000 0.000 0.000 0.000 0.000

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

155 155 97 0 0 0 0 0 0

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.110 0.100 0.000 0.000 0.000 0.000 0.000 0.000

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 24 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 0.92 0.12 0.92

time (sec)

N/A 0.078 3.621 4.796 0.000 0.000 164.288 116.350 0.339

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 62 0 3 24

N.S.

1 1.00 1.08 0.85 0.00 2.38 0.00 0.12 0.92

time (sec)

N/A 0.075 2.231 11.215 0.000 0.263 0.000 55.411 0.356

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 0 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 0.00 0.12 0.92

time (sec)

N/A 0.078 7.251 15.820 0.000 0.000 0.000 134.804 0.354

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

350 350 370 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.464 0.474 0.000 0.000 0.000 0.000 0.000 0.000

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

295 295 287 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.520 0.959 0.000 0.000 0.000 0.000 0.000 0.000

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

293 293 356 0 0 0 0 0 0

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.303 0.432 0.000 0.000 0.000 0.000 0.000 0.000

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

337 337 176 0 0 0 0 0 0

N.S.

1 1.00 0.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.284 0.211 0.000 0.000 0.000 0.000 0.000 0.000

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 0 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 0.00 0.12 0.92

time (sec)

N/A 0.083 5.859 3.101 0.000 0.000 0.000 129.920 0.340

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 22 34 3 22

N.S.

1 1.00 1.09 0.91 0.00 1.00 1.55 0.14 1.00

time (sec)

N/A 0.024 1.014 4.520 0.000 0.250 13.747 64.261 0.693

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 0 29 3 20

N.S.

1 1.00 1.10 0.90 0.00 0.00 1.45 0.15 1.00

time (sec)

N/A 0.016 0.531 1.586 0.000 0.000 1.169 83.681 0.499

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 17 0 0 29 3 19

N.S.

1 1.00 1.11 0.89 0.00 0.00 1.53 0.16 1.00

time (sec)

N/A 0.009 0.077 1.186 0.000 0.000 0.755 75.741 0.522

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 29 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 1.32 0.14 1.00

time (sec)

N/A 0.024 1.064 1.353 0.000 0.000 1.290 78.073 0.534

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 37 58 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.54 2.42 0.12 1.00

time (sec)

N/A 0.038 0.742 5.321 0.000 0.247 51.809 63.974 0.563

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 49 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 2.23 0.14 1.00

time (sec)

N/A 0.026 0.631 1.222 0.000 0.000 2.321 91.910 0.489

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 0 0 49 3 21

N.S.

1 1.00 1.10 0.90 0.00 0.00 2.33 0.14 1.00

time (sec)

N/A 0.016 0.395 1.069 0.000 0.000 1.708 85.710 0.463

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 49 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.04 0.12 1.00

time (sec)

N/A 0.036 1.050 1.540 0.000 0.000 2.975 88.938 0.470

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 48 80 3 24

N.S.

1 1.00 1.08 0.92 0.00 2.00 3.33 0.12 1.00

time (sec)

N/A 0.038 0.519 5.385 0.000 0.249 160.005 65.116 0.557

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 68 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 3.09 0.14 1.00

time (sec)

N/A 0.026 0.675 1.436 0.000 0.000 4.182 102.266 0.484

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 0 0 68 3 21

N.S.

1 1.00 1.10 0.90 0.00 0.00 3.24 0.14 1.00

time (sec)

N/A 0.016 0.418 1.178 0.000 0.000 3.143 97.826 0.483

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 68 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.83 0.12 1.00

time (sec)

N/A 0.035 1.120 1.533 0.000 0.000 4.128 97.801 0.511

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 24 29 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.00 1.21 0.12 1.00

time (sec)

N/A 0.047 0.594 4.301 0.000 0.254 12.119 65.275 0.624

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 27 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 1.23 0.14 1.00

time (sec)

N/A 0.034 0.729 0.864 0.000 0.000 0.929 47.733 0.437

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 0 14 12 14 14

N.S.

1 1.00 1.00 0.94 0.00 0.88 0.75 0.88 0.88

time (sec)

N/A 0.019 0.005 1.002 0.000 0.234 0.698 0.288 0.405

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 29 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 1.21 0.12 1.00

time (sec)

N/A 0.044 0.217 0.570 0.000 0.000 1.209 47.637 0.471

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 39 48 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.62 2.00 0.12 1.00

time (sec)

N/A 0.046 1.480 6.687 0.000 0.261 69.825 106.930 0.669

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 48 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.00 0.12 1.00

time (sec)

N/A 0.045 3.130 5.458 0.000 0.000 1.800 134.140 0.515

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 122 38 0 0 0 0 0

N.S.

1 1.00 2.60 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.076 0.338 1.750 0.000 0.000 0.000 0.000 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 24 0 0 0 0 0

N.S.

1 1.00 1.00 0.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.053 0.070 1.343 0.000 0.000 0.000 0.000 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 122 38 0 0 0 0 0

N.S.

1 1.00 2.60 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.052 0.279 0.916 0.000 0.000 0.000 0.000 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 48 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.00 0.12 1.00

time (sec)

N/A 0.043 0.728 2.166 0.000 0.000 2.443 110.084 0.542

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 50 0 3 24

N.S.

1 1.00 1.08 0.92 0.00 2.08 0.00 0.12 1.00

time (sec)

N/A 0.048 1.516 6.608 0.000 0.258 0.000 155.898 0.678

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 65 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.71 0.12 1.00

time (sec)

N/A 0.047 3.709 4.990 0.000 0.000 4.473 190.730 0.524

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 230 59 0 0 0 0 0

N.S.

1 1.00 2.58 0.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.101 0.496 1.439 0.000 0.000 0.000 0.000 0.000

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 131 47 0 0 0 0 0

N.S.

1 1.00 1.85 0.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.095 0.151 1.404 0.000 0.000 0.000 0.000 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 229 47 0 0 0 0 0

N.S.

1 1.00 3.95 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.088 0.427 1.056 0.000 0.000 0.000 0.000 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 133 46 0 0 0 0 0

N.S.

1 1.00 1.87 0.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.081 0.119 1.230 0.000 0.000 0.000 0.000 0.000

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 229 59 0 0 0 0 0

N.S.

1 1.00 2.57 0.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.073 0.491 1.006 0.000 0.000 0.000 0.000 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 65 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.71 0.12 1.00

time (sec)

N/A 0.045 0.955 1.886 0.000 0.000 5.511 158.514 0.535

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 24 26 0 24

N.S.

1 1.00 1.08 0.85 0.00 0.92 1.00 0.00 0.92

time (sec)

N/A 0.069 1.141 7.631 0.000 0.275 24.686 0.000 0.354

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 0 0 24 3 22

N.S.

1 1.00 1.08 0.83 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.046 1.995 2.906 0.000 0.000 1.755 135.756 0.346

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 0 0 22 3 21

N.S.

1 1.00 1.09 0.83 0.00 0.00 0.96 0.13 0.91

time (sec)

N/A 0.024 0.235 2.397 0.000 0.000 1.107 126.851 0.369

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 24 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 0.92 0.12 0.92

time (sec)

N/A 0.067 4.424 2.654 0.000 0.000 2.090 129.141 0.350

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 24 0 0 24

N.S.

1 1.00 1.08 0.85 0.00 0.92 0.00 0.00 0.92

time (sec)

N/A 0.076 1.219 6.792 0.000 0.306 0.000 0.000 0.356

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 0 0 24 3 22

N.S.

1 1.00 1.08 0.83 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.054 3.218 2.461 0.000 0.000 47.010 168.768 0.348

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 0 0 22 3 21

N.S.

1 1.00 1.09 0.83 0.00 0.00 0.96 0.13 0.91

time (sec)

N/A 0.027 0.318 2.443 0.000 0.000 23.363 161.231 0.358

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 24 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 0.92 0.12 0.92

time (sec)

N/A 0.084 5.066 2.787 0.000 0.000 21.246 163.413 0.350

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 49 0 0 24

N.S.

1 1.00 1.08 0.85 0.00 1.88 0.00 0.00 0.92

time (sec)

N/A 0.074 1.456 7.094 0.000 0.264 0.000 0.000 0.385

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 0 0 0 3 22

N.S.

1 1.00 1.08 0.83 0.00 0.00 0.00 0.12 0.92

time (sec)

N/A 0.051 2.490 2.960 0.000 0.000 0.000 199.360 0.347

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 0 0 0 3 21

N.S.

1 1.00 1.09 0.83 0.00 0.00 0.00 0.13 0.91

time (sec)

N/A 0.026 0.333 2.634 0.000 0.000 0.000 191.904 0.352

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 24 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 0.92 0.12 0.92

time (sec)

N/A 0.074 4.196 2.681 0.000 0.000 153.800 195.851 0.348

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 24 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.92 1.00 0.12 0.92

time (sec)

N/A 0.068 1.162 7.540 0.000 0.279 31.093 64.145 0.364

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 0 0 24 3 22

N.S.

1 1.00 1.08 0.83 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.048 1.144 2.934 0.000 0.000 1.899 133.444 0.358

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 0 0 24 3 21

N.S.

1 1.00 1.09 0.83 0.00 0.00 1.04 0.13 0.91

time (sec)

N/A 0.024 0.192 3.188 0.000 0.000 2.018 133.772 0.344

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.068 1.394 3.293 0.000 0.000 4.532 131.634 0.359

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 51 0 3 24

N.S.

1 1.00 1.08 0.85 0.00 1.96 0.00 0.12 0.92

time (sec)

N/A 0.078 1.407 6.564 0.000 0.277 0.000 36.978 0.354

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.083 12.231 3.947 0.000 0.000 8.831 102.426 0.351

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 97 0 0 0 0 0 0

N.S.

1 1.00 1.62 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.111 0.139 0.000 0.000 0.000 0.000 0.000 0.000

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 100 0 0 0 0 0 0

N.S.

1 1.00 1.67 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.063 0.110 0.000 0.000 0.000 0.000 0.000 0.000

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 0 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.00 0.92

time (sec)

N/A 0.074 1.875 2.720 0.000 0.000 25.669 0.000 0.358

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 62 0 3 24

N.S.

1 1.00 1.08 0.85 0.00 2.38 0.00 0.12 0.92

time (sec)

N/A 0.073 2.010 10.389 0.000 0.273 0.000 71.762 0.364

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 3 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.12 0.92

time (sec)

N/A 0.077 5.067 13.657 0.000 0.000 61.957 195.645 0.367

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 131 95 0 0 0 0 0 0

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.187 0.335 0.000 0.000 0.000 0.000 0.000 0.000

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 131 159 0 0 0 0 0 0

N.S.

1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.204 0.190 0.000 0.000 0.000 0.000 0.000 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 131 156 0 0 0 0 0 0

N.S.

1 1.00 1.19 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.156 0.207 0.000 0.000 0.000 0.000 0.000 0.000

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 131 93 0 0 0 0 0 0

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.103 0.090 0.000 0.000 0.000 0.000 0.000 0.000

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 22 0 0 26 0 24

N.S.

1 1.00 1.08 0.85 0.00 0.00 1.00 0.00 0.92

time (sec)

N/A 0.076 2.557 3.116 0.000 0.000 133.299 0.000 0.349

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 22 34 3 22

N.S.

1 1.00 1.09 0.91 0.00 1.00 1.55 0.14 1.00

time (sec)

N/A 0.025 0.945 4.820 0.000 0.247 33.824 62.976 0.872

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 0 29 0 20

N.S.

1 1.00 1.10 0.90 0.00 0.00 1.45 0.00 1.00

time (sec)

N/A 0.016 0.817 1.425 0.000 0.000 1.566 0.000 0.620

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 17 0 0 29 3 19

N.S.

1 1.00 1.11 0.89 0.00 0.00 1.53 0.16 1.00

time (sec)

N/A 0.009 0.727 1.129 0.000 0.000 1.348 169.688 0.581

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 29 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 1.32 0.14 1.00

time (sec)

N/A 0.023 1.438 1.375 0.000 0.000 2.452 234.078 0.652

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 37 58 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.54 2.42 0.12 1.00

time (sec)

N/A 0.038 0.762 5.956 0.000 0.264 61.406 63.636 0.696

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 49 0 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 2.23 0.00 1.00

time (sec)

N/A 0.026 0.917 1.404 0.000 0.000 2.456 0.000 0.571

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 0 0 49 3 21

N.S.

1 1.00 1.10 0.90 0.00 0.00 2.33 0.14 1.00

time (sec)

N/A 0.016 0.813 1.214 0.000 0.000 2.070 209.715 0.521

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 49 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.04 0.12 1.00

time (sec)

N/A 0.034 1.543 1.444 0.000 0.000 3.181 279.869 0.543

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 48 80 3 24

N.S.

1 1.00 1.08 0.92 0.00 2.00 3.33 0.12 1.00

time (sec)

N/A 0.037 0.554 6.629 0.000 0.268 176.373 65.189 0.651

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 68 0 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 3.09 0.00 1.00

time (sec)

N/A 0.025 0.980 1.689 0.000 0.000 4.914 0.000 0.529

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 19 0 0 68 3 21

N.S.

1 1.00 1.10 0.90 0.00 0.00 3.24 0.14 1.00

time (sec)

N/A 0.016 0.912 1.443 0.000 0.000 3.729 252.599 0.481

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 68 0 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.83 0.00 1.00

time (sec)

N/A 0.035 1.667 1.509 0.000 0.000 5.202 0.000 0.549

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 24 29 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.00 1.21 0.12 1.00

time (sec)

N/A 0.056 0.611 4.125 0.000 0.272 56.982 63.837 0.634

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 0 0 27 3 22

N.S.

1 1.00 1.09 0.91 0.00 0.00 1.23 0.14 1.00

time (sec)

N/A 0.035 0.671 0.786 0.000 0.000 1.451 123.750 0.458

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 0 14 14 14 14

N.S.

1 1.00 1.00 0.94 0.00 0.88 0.88 0.88 0.88

time (sec)

N/A 0.018 0.006 0.937 0.000 0.284 1.454 0.283 0.372

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 29 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 1.21 0.12 1.00

time (sec)

N/A 0.060 0.165 1.225 0.000 0.000 2.030 125.815 0.440

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 39 0 3 24

N.S.

1 1.00 1.08 0.92 0.00 1.62 0.00 0.12 1.00

time (sec)

N/A 0.048 1.228 5.885 0.000 0.264 0.000 141.277 0.664

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 48 0 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.00 0.00 1.00

time (sec)

N/A 0.141 3.535 9.916 0.000 0.000 3.420 0.000 0.598

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 48 0 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.00 0.00 1.00

time (sec)

N/A 0.179 6.013 5.506 0.000 0.000 3.832 0.000 0.546

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 60 46 0 0 0 0 0

N.S.

1 1.00 1.00 0.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.106 0.345 1.701 0.000 0.000 0.000 0.000 0.000

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 158 47 0 0 0 0 0

N.S.

1 1.00 1.14 0.34 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.124 0.165 1.740 0.000 0.000 0.000 0.000 0.000

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 52 47 0 0 0 0 0

N.S.

1 1.00 0.91 0.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.080 0.276 2.063 0.000 0.000 0.000 0.000 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 48 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.00 0.12 1.00

time (sec)

N/A 0.149 2.323 1.817 0.000 0.000 4.572 140.363 0.582

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 49 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.04 0.12 1.00

time (sec)

N/A 0.136 3.435 3.329 0.000 0.000 7.744 148.206 0.591

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 49 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.04 0.12 1.00

time (sec)

N/A 0.144 6.916 2.593 0.000 0.000 10.360 148.479 0.582

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 0 49 3 24

N.S.

1 1.00 1.08 0.92 0.00 0.00 2.04 0.12 1.00

time (sec)

N/A 0.140 6.874 4.518 0.000 0.000 13.373 147.735 0.587

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 22 0 50 0 3 24

N.S.

1 1.00 1.08 0.92 0.00 2.08 0.00 0.12 1.00

time (sec)

N/A 0.049 1.150 7.731 0.000 0.269 0.000 210.411 0.712

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 148 86 0 0 0 0 0

N.S.

1 1.00 1.54 0.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.227 0.300 2.020 0.000 0.000 0.000 0.000 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 112 53 0 0 0 0 0

N.S.

1 1.00 1.67 0.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.221 0.392 1.751 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]